منابع مشابه
Order-incompleteness and finite lambda reduction models
Many familiar models of the untyped lambda calculus are constructed by order theoretic methods. This paper provides some basic new facts about ordered models of the lambda calculus. We show that in any partially ordered model that is complete for the theory of βor βη-conversion, the partial order is trivial on term denotations. Equivalently, the open and closed term algebras of the untyped lamb...
متن کاملOrder Selection in Finite Mixture Models
Jiahua Chen, Abbas Khalili Department of Statistics and Actuarial Science University of Waterloo Abstract A fundamental and challenging problem in the application of finite mixture models is to make inference on the order of the model. In this paper, we develop a new penalized likelihood approach to the order selection problem. The new method deviates from the information-based methods such as ...
متن کاملFirst-order microcanonical transitions in finite mean-field models
– A microcanonical first order transition, connecting a clustered to a homogeneous phase, is studied from both the thermodynamic and dynamical point of view for a N-body Hamiltonian system with infinite-range couplings. In the microcanonical ensemble specific heat can be negative, but besides that, a microcanonical first order transition displays a temperature discontinuity as the energy is var...
متن کاملVariable Order Finite-Context Models in DNA Sequence Coding
Being an essential key in biological research, the DNA sequences are often shared between researchers and digitally stored for future use. As these sequences grow in volume, it also grows the need to encode them, thus saving space for more sequences. Besides this, a better coding method corresponds to a better model of the sequence, allowing new insights about the DNA structure. In this paper, ...
متن کاملEmbedded Finite Models, Stability Theory and the Impact of Order
We extend bounds on the expressive power of firstorder logic over finite structures and over ordered finite structures, by generalizing to the situation where the finite structures are embedded in an infinite structure M , where M satisfies some simple combinatorial properties studied in model-theoretic stability theory. We first consider first-order logic over finite structures embedded in a s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Advances in Mathematics
سال: 2013
ISSN: 0001-8708
DOI: 10.1016/j.aim.2012.11.004